let (<<<) x y = (cmp x y <= 0)